Belief Change as Propositional Update

Belief Revision as Propositional Update 1 Belief Change as Propositional Update Renée

Propositional Dynamic Logic as a Logic of Knowledge Update and Belief Revision

This talk shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent knowledge update and belief revision, or as a logic of preference change, if the basic relations are read as preferences instead of plausibilities. Our point of departure is the logic of communication and change (LCC) of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, ...

La mise-à-jour des croyances pour des fragments de la logique propositionnelle

Recently, belief change within the framework of fragments of propositional logic has gained attention. Previous works focused on belief contraction and belief revision mainly on the Horn fragment. However, the problem of belief update within the framework of fragments of propositional logic has been neglected so far. This paper presents a general approach to define new update operators derived ...

Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments

We examine several belief change operations in the light of Dynamic Logic of Propositional Assignments DL-PA. We show that we can encode in a systematic way update operations (such as Winslett’s ‘Possible Models Approach’) and revision operations (such as Dalal’s) as particular DL-PA programs. Every DL-PA formula being equivalent to a boolean formula, we obtain syntactical counterparts for all ...

Propositional Dynamic Logic as a Logic of Belief Revision

This paper shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent belief revision. For that we revise and extend the logic of communication and change (LCC) of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, we start out from agent plausibilities, add their converses, and build knowledge and belief operators from these with the PDL ...

Prime Implicants and Belief Update

Adaptation is one of the most important capabilities that an intelligent agent should present. In order to provide this capability to logical-based agents, the Belief Change area proposes methods to incorporate new information in a belief set. Properties like consistency and minimal change guide the change process. The notion of minimal change is usually associated with a closeness criterion ba...